//]]>
Unhighlight Highlight
Typed Lambda Calculi and Applications by Hasegawa, Masahito. Publication: . XII, 251 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages Alive by Bordihn, Henning. Publication: . X, 291 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Quantum Interaction by Song, Dawei. Publication: . IX, 229 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Ong, Luke. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Its Applications by Banerjee, Mohua. Publication: . X, 219p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integration of World Knowledge for Natural Language Understanding by Ovchinnikova, Ekaterina. Publication: . XVII, 242p. 16 illus., 2 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Specification and Verification of Multi-agent Systems by Dastani, Mehdi. Publication: . XVII, 405p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية